
import minisat

s = minisat.Solver()
s.new_clause_add_lit(1)
s.new_clause_add_lit(2)
s.new_clause_push()
s.new_clause_add_lit(-1)
s.new_clause_push()

s.solve()
m = s.model
print int(m.element(0).get_v())
print int(m.element(1).get_v())
